completely-reducible graph

un. 完全可归约图